edebug.texi (Instrumenting): Improve indexing.
authorEli Zaretskii <eliz@gnu.org>
Sat, 22 Sep 2012 13:24:58 +0000 (16:24 +0300)
committerEli Zaretskii <eliz@gnu.org>
Sat, 22 Sep 2012 13:24:58 +0000 (16:24 +0300)
commitfa0b13a74847343cbb4c8b478e6c97e4a157232d
treec27be1ed0c8b2d755349080a4d16fdb2568c85c4
parent8559ff9c6ecf0e0b905fb293a8ddedd3b0ab896c
edebug.texi (Instrumenting): Improve indexing.
doc/lispref/ChangeLog
doc/lispref/edebug.texi